Abstraction Refinement for Large Scale Model Checking (Integrated Circuits and Systems)
by Chao Wang, Gary D. Hachtel, Fabio Somenzi
ISBN 13: 9781489993953
Format: Paperback (196 pages) Publisher: Springer Published: 06 Dec 2014
Save for later